From: Kalev Lember <kalevlember@gmail.com>
Date: Tue, 16 Sep 2014 14:51:03 +0000 (+0200)
Subject: appFavorites: Add gnome-boxes to the rename list
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~2106
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=a41cd7d3ccfe8b4b8ec09d7465fb9ff71aec8a17;p=gnome-shell.git

appFavorites: Add gnome-boxes to the rename list
---

diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 3be6d149f..9c42ae3fc 100644
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -18,6 +18,7 @@ const RENAMED_DESKTOP_IDS = {
     'gnect.desktop': 'four-in-a-row.desktop',
     'gnibbles.desktop': 'gnome-nibbles.desktop',
     'gnobots2.desktop': 'gnome-robots.desktop',
+    'gnome-boxes.desktop': 'org.gnome.Boxes.desktop',
     'gnome-clocks.desktop': 'org.gnome.clocks.desktop',
     'gnome-contacts.desktop': 'org.gnome.Contacts.desktop',
     'gnome-documents.desktop': 'org.gnome.Documents.desktop',